Property S
نویسنده
چکیده
A set-theoretic property called Property S is introduced as a generalization of the well-known Property B. Property S is named for Schrijver who rst used it in a paper 13] in connection with the Boolean prime ideal theorem. It was independently introduced by Kolany 10] to give a uniform treatment for a variety of satissability problems using an abstract resolution method to determine satissability. We further investigate Property S and resolution.
منابع مشابه
Every class of $S$-acts having a flatness property is closed under directed colimits
Let $S$ be a monoid. In this paper, we prove every class of $S$-acts having a flatness property is closed underdirected colimits, it extends some known results. Furthermore thisresult implies that every $S$-act has a flatness cover if and only if it has a flatness precover.
متن کاملThe Effects of Property Rights on Economic Growth in Countries of ECO, s Members
In recent years, supporting intellectual property right has gained more significance. Intellectual property rights could be considered as legal rights resulting from intellectual activities in industrial, scientific, literary and artistic fields. Today, many countries are seeking practical information about using intellectual property to improve economic growth. Intellectual property rights hav...
متن کاملOn the Hyponormal Property of Operators
Let $T$ be a bounded linear operator on a Hilbert space $mathscr{H}$. We say that $T$ has the hyponormal property if there exists a function $f$, continuous on an appropriate set so that $f(|T|)geq f(|T^ast|)$. We investigate the properties of such operators considering certain classes of functions on which our definition is constructed. For such a function $f$ we introduce the $f$-Aluthge tran...
متن کاملA common fixed point theorem for weakly compatible maps satisfying common property (E:A:) and implicit relation in intuitionistic fuzzy metric spaces
In this paper, employing the common property ($E.A$), we prove a common fixed theorem for weakly compatible mappings via an implicit relation in Intuitionistic fuzzy metric space. Our results generalize the results of S. Kumar [S. Kumar, {it Common fixed point theorems in Intuitionistic fuzzy metric spaces using property (E.A)}, J. Indian Math. Soc., 76 (1-4) (2009), 94--103] and C. Alaca et al...
متن کاملDeveloping a BIM-based Spatial Ontology for Semantic Querying of 3D Property Information
With the growing dominance of complex and multi-level urban structures, current cadastral systems, which are often developed based on 2D representations, are not capable of providing unambiguous spatial information about urban properties. Therefore, the concept of 3D cadastre is proposed to support 3D digital representation of land and properties and facilitate the communication of legal owners...
متن کاملAlmost Lack of Memory Property and its Relation with Periodic Failure Rate
This article has no abstract.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Reports on Mathematical Logic
دوره 35 شماره
صفحات -
تاریخ انتشار 2001